2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Foundations of Algebraic Specification and Formal Software Development
Автор:
Donald Sannella
, Автор:
Andrzej Tarlecki
Размер книги: 3.58 Mb
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Автор:
Donald Sannella
, Автор:
Andrzej Tarlecki
Размер книги: 2.56 Mb
Foundations of Algebraic Specification and Formal Software Development
Автор:
Donald Sannella
, Автор:
Andrzej Tarlecki
Размер книги: 5.07 Mb
Programming Languages and Systems, 5 conf., ESOP '94
Автор:
Donald Sannella
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.20 Mb
Automata, Languages and Programming, 31 conf., ICALP 2004
Автор:
Josep Diaz
, Автор:
Juhani Karhumäki
, Автор:
Arto Lepistö
, Автор:
Donald Sannella
Категория:
CsLn_
Размер книги: 20.89 Mb
Trustworthy Global Computing, 2 conf., TGC 2006
Автор:
Ugo Montanari
, Автор:
Donald Sannella
, Автор:
Roberto Bruni
Категория:
CsLn_
Размер книги: 3.47 Mb